1. Abstract recursion and intrinsic complexity
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
المؤلف: Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algorithm design : a recursion transformation framework
المؤلف: Paull, Marvin C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
4. Algorithmics :
المؤلف: Gilles Brassard and Paul Bratley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
5. Algorithmics
المؤلف: Gilles Brassard and Paul Bratley,Title
المکتبة: (مازندران)
موضوع: Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
6. Algorithmics : theory and practice
المؤلف: Gilles Brassard and Paul Bratley,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
7. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
8. Algorithmics : theory and practice
المؤلف: Brassard, Gilles
المکتبة: (طهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
9. Algorithmics:theory and practice
المؤلف: BRASSAARD,GILLES
المکتبة: (طهران)
موضوع: RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
10. Algorithmics : theory and practice
المؤلف: Brassard, Gilles
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
11. Algorithmics: theory and practice
المؤلف: Brassard, Gilles
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics: theory and practice
المؤلف: Brassard, Gilles
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
13. Algorithms and data structures :
المؤلف: Douglas Baldwin and Greg W. Scragg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
14. Automata, Languages and Programming :
المؤلف: edited by Hermann A. Maurer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
15. Automata, languages, and programming :
المؤلف: edited by Jan Paredaens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
16. Automata, languages and programming :
المؤلف: ICALP 93. A. Lingas ... (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
17. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
18. Computer Algebra :
المؤلف: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
19. Computing with foresight and industry :
المؤلف: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
20. Discrete mathematics /
المؤلف: Seymour Lipschutz, Marc Lars Lipson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
